Eight things about manatees, dugongs and their elephant kin