The Real del Monte miners' strike, 1766