¿Cómo se llama el obrero que puso una bandera mexicana en una Torre Trump?