NFL player attack in Dublin - what should be done?