John Dominis (1921-2013)