Defensa continúa recortando en tropa y marinería, que ha perdido más de 9.400 efectivos en sólo cuatro años