Do both alcoholic beverages, a Grog and an Astro pop, get their names from nautical themes?
Grog:  The word originally referred to a drink made with water and rum, which British Vice Admiral Edward Vernon introduced into the naval squadron he commanded in the West Indies on 21 August 1740.
i don't know