Trump was ‘joking’ about declaring Strait of Hormuz US territory: US media