The Battle of Ramree: Were 1,000 Japanese soldiers killed by crocodiles during World War II?