"Operación diamante”: el caso anticorrupción donde detienen al alcalde de San José en Costa Rica