Why Might Trump Find it Hard to Reopen the Strait of Hormuz?