Men-of-war names: their meaning and origin.