Machismo has gotten rough in Puerto Rico’s politics