a 16th-century stone fortification located in the highest part of Toledo, former fortified royal palace, now housing a military museum