Battle of Midway, Studio Ghibli, Porco Rosso