batalla del molino de piedra