Peter Devlin (general)