También es llamado Jardín del Rey, por Felipe II, que lo mandó construir.