TOKYO (Kyodo) -- Tokyo stocks were mixed Thursday morning as investors locked in gains that sent the Nikkei index to a record intraday high for the th