TOKYO (Kyodo) -- Tokyo stocks ended mixed Thursday as investors locked in gains, sending the Nikkei index to a record intraday high for a third straig