@SivatheriumGuy yes these are Iberian/Spanish ibex (Capra pyrenaica). My question would be how and where these animals were sourced? I will have to research this in the museum's mammalogy collections database. My first guess would be that these were former San Diego Zoo animals, but I am going to have to do more research into this.