In WWII, which U.S. Navy fighter replaced the F4F Wildcat and proved superior in dogfights against the Japanese Zero?