Equestrian Portrait of Philip IV — four paintings by Diego Velázquez and his workshop