18th-century European sailors called avocados “midshipman’s butter” and spread it on their hardtack.