According to gardaí, formal identification has yet to take place.