North Korea fires missile over Japan, US President Trump briefed