The US president will pay his respects at the Pentagon.