What famous Hollywood actor participated in the Battle of the Atlantic before his acting career?