The turtle had washed up on an Irish beach in 2004 and was badly injured.