Task: Question Generation
Input (English): The Battle of Leyte Gulf was arguably the largest naval battle in history and was the largest naval battle of World War II. It was a series of four distinct engagements fought off the Philippine island of Leyte from 23 to 26 October 1944. Leyte Gulf featured the largest battleships ever built, was the last time in history that battleships engaged each other, and was also notable as the first time that kamikaze aircraft were used. Allied victory in the Philippine Sea established Allied air and sea superiority in the western Pacific. Nimitz favored blockading the Philippines and landing on Formosa. This would give the Allies control of the sea routes to Japan from southern Asia, cutting off substantial Japanese garrisons. MacArthur favored an invasion of the Philippines, which also lay across the supply lines to Japan. Roosevelt adjudicated in favor of the Philippines. Meanwhile, Japanese Combined Fleet Chief Toyoda Soemu prepared four plans to cover all Allied offensive scenarios. On 12 October Nimitz launched a carrier raid against Formosa to make sure that planes based there could not intervene in the landings on Leyte. Toyoda put Plan Sho-2 into effect, launching a series of air attacks against the U.S. carriers. However the Japanese lost 600 planes in three days, leaving them without air cover.
Output (English): When did Nimitz launch a carrier raid against Formosa?