John Foxe
John Foxe in his Acts and Monuments, which include what is called Foxe's Book of Martyrs, wrote about Don Carlos as follows (https://www.gutenberg.org/files/22400/22400-h/22400-h.htm, Chapter V):