Guided tour of the Ribadeo Tidal Mill in Galicia, Spain