Фон Бебе, Ламантин, Бебешки ламантин, Dugong, Документ, Морски крави ...