“Byrne Hobart argues that the US military's protection of global shipping lanes is economically equivalent to a tariff reduction because it lowers the cost of trade by eliminating security risks.”