El caso es Trump contra el Servicio de Impuestos Internos, 26-cv-20609, Tribunal de Distrito de los Estados Unidos, Distrito Sur de Florida (Miami)