“France has an aircraft carrier in the vicinity of the Strait of Hormuz that can be deployed to support a freedom of navigation mission.”