President Donald Trump said Thursday a US naval "armada" was heading toward the Gulf, maintaining pressure on Iran although he has recently downplayed the prospect of imminent military action. Last week, Trump pulled back from a threat to strike Iran over its deadly crackdown on anti-government protests after the White House said Tehran had halted planned executions of demonstrators.