Kenneth Mills — historian of the early modern Spanish world