he served in the british royal navy during the second world war