A crocodile I met on the way to the Panama Canal.