John Edward Bowring Toms — (born 1920)