The names of the three people who died in the yachting accident in Dublin Bay last night have been released.