Whales of World War II: Military life of Robert Jagers, June 1942 to October 1945