Mariana, Juan, s.j., historien et publiciste espagnol