“A U.S. aircraft carrier group is currently deployed in the Persian Gulf amid heightened tensions with Iran.”