Jet Fighters of the U.S. Navy, Part 1: Early Designs 1945 - 1953