Talk:2020 San Juan, Puerto Rico, mayoral election