Royal Marine Hotel, Dun Laoghaire, Co. Dublin