The United States launches Operation Praying Mantis against Iranian naval forces in the largest naval battle since World War II.