“Failure to ensure freedom of navigation in Hormuz puts global freedom of navigation everywhere at risk.”