Pintos officerare och manskap som landsförrädare.