Report: Trump was ‘joking’ about declaring Hormuz US territory White House official says the president had not discussed such a move with advisers