King Presses Navy, Marine Corps Leaders on High Cost of F-35 Program