Irish ‘diversity musical’ targeted by Trump was ‘Other Voices’ concert in US ambassador’s residence