Is this viewpoint not called Mirador del Castillo?

https://www.visitandoespana.com/mirador-del-castillo/
https://www.tripadvisor.com/Attraction_Review-g187491-d12517613-Reviews-Mirador_del_Castillo-Burgos_Province_of_Burgos_Castile_and_Leon.html