End of the Harbour festival in Dublin. All the ships head home