Trump reportedly paused Hormuz naval escorts after Saudi Arabia denied use of its airspace