A historical review of records of the West Indian manatee and the American crocodile in the Dutch Antilles