Historia general de España / compuesta, emendada, y añadida por el padre Juan de Mariana - Mariana, Juan de (1536-1623)