“President Trump stated that the United States does not use the Strait of Hormuz for its own trade, but other countries do.”