Heraldo de Madrid - Man City whistleblower Pinto to stay under police protection