japanese soldiers eaten by crocodiles