John Jerman, World War II