SEAL, LEONARD J.