The real Top Gun: History of the US Navy pilot school