Question: Do both alcoholic beverages, a Grog and an Astro pop, get their names from nautical themes?

<P0-S0>  Various recipes exist that use liquor and liqueurs to produce the drink. <P0-S1>  A version of the drink exists that is layered with red, white, and blue colors and served in a shot glass. <P0-S2>  It is a popular alcoholic beverage in some drinking establishments. Astro Pop candy was originally produced by Nellson Candies. <P0-S3>  Spangler Candy Company purchased the candy brand from Nellson Candies in 1987, and the candy brand is now owned and produced by Leaf Brands. <P0-S4> An astro pop cocktail is a layered cocktail, mixed drink or shooter so named because it resembles the Astro Pop lollipop candy brand. <SEP> <P1-S0> Aloin, also known as barbaloin, is a bitter, yellow-brown colored compound noted in the exudate of at least 68 "Aloe" species at levels from 0.1 to 6.6% of leaf dry weight (making between 3% and 35% of the total exudate) (Groom & Reynolds, 1987), and in another 17 species at indeterminate levels [Reynolds, 1995b]. <P1-S1>  It is used as a stimulant-laxative, treating constipation by inducing bowel movements. <P1-S2>  The compound is present in what is commonly referred to as the aloe latex that exudes from cells adjacent to the vascular bundles, found under the rind of the leaf and in between it and the gel. <P1-S3>  When dried, it has been used as a bittering agent in commerce (alcoholic beverages) [21 CFR 172.510. <P1-S4>  Scientific names given include "Aloe perryi", "A. barbadensis" (= "A. vera"), "A. ferox", and hybrids of "A. ferox" with "A. africana" and "A. spicata".] <P1-S5> . <P1-S6>  Aloe is listed in federal regulations as a natural substance that may be "safely used in food" when used "in the minimum quantity required to produce their intended physical or technical effect and in accordance with all the principles of good manufacturing practice." <P1-S7>  This food application is generally limited to use in quite small quantities as a flavoring in alcoholic beverages and may usually be identified only as a "natural flavor." <SEP> <P2-S0> A drinking establishment is a business whose primary function is the serving of alcoholic beverages for consumption on the premises. <P2-S1>  Some establishments may also serve food, or have entertainment, but their main purpose is to serve alcoholic beverages. <P2-S2>  There are different types of drinking establishment ranging from seedy bars or nightclubs, sometimes termed "dive bars", to 5,000 seat beer halls and elegant places of entertainment for the elite. <P2-S3>  A public house, informally known as a "pub", is an establishment licensed to serve alcoholic drinks for consumption on the premises in countries and regions of British influence. <P2-S4>  Although the terms are increasingly used to refer to the same thing, there is a difference between pubs, bars, inns, taverns and lounges where alcohol is served commercially. <P2-S5>  A tavern or pot-house is, loosely, a place of business where people gather to drink alcoholic beverages and, more than likely, also be served food, though not licensed to put up guests. <P2-S6>  The word derives from the Latin "taberna" and the Greek "ταβέρνα"/taverna. <SEP> <P3-S0>  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. <P3-S1>  Vernon wore a coat of grogram cloth and was nicknamed "Old Grogram" or "Old Grog". <P3-S2> Grog is any of a variety of alcoholic beverages. <P3-S3>  Merriam Webster's Collegiate Dictionary, which agrees with this story of the word's origin, states that the word "grog" was first used in this sense in 1770, though other sources cite 1749.