Might be a stupid question, but is Juantrippe formerly known as Navy?
No, its Brunswick known as Navy due to a particular bug he used in the game to make mass amounts of money. Plus, Brunswick only ever used one airline and certain "logos" to demonstrate that he didnt care much about the game.