I doubt Steve Wynnn considered either of these choices when he was brainstorming for a name for Bellagio