The term TOPGUN falls into the “popularly know as” category.

What is the Navy’s official acronym for TG?

(if you’re not in the Military, bet ya can’t guess it without “Google”)