https://huntingtonnow.com/george-e-devine-jr-dies-at-92-had-long-career-at-grumman/
George E. Devine Jr. Dies at 92; Had Long Career at Grumman