Legendary engine builder Maurice Petty died