Michael Christopher Petrie

December 21, 1929  -  August 4, 2012