Russian ships leave Irish waters