. . . "Agencies, including the police helicopter, the Irish Coastguard and the RNLI were involved in the search operation which continued long into the night and resumed early in the morning." .