Thomas, Eric, 1915-