Rare White House visit by top US commander puts Trump’s Iran strike options in focus