Allen River, Alderholt Mill, Alderholt