“President Trump has authorized the U.S. Navy to use lethal force against Iranian fast boats attempting to lay mines or disrupt shipping in the Strait of Hormuz.”