Cable Repair in the Irish Sea (off Co. Dublin) - Amended 04/06/2019