Historia general de España - Mariana, Juan de (1678)