145 atletas e 12 medalhas: projeto olímpico das Forças Armadas superou a meta