Edwin Havens discharge certificate