“President Trump asserted that the United States has less need for the Strait of Hormuz to be open than China and its Gulf allies do.”