Antonio Sevillano. Historiador