The Military Museum of Porto (Museu Militar do Porto) is housed in a 19th century building in the Bonfim district of Porto, in what was formerly the headquarters of the feared secret police - PIDE (Polícia Internacional e de Defesa do Estado) during the time of Salazar and the Estado Novo (New State).
https://www.portugalvisitor.com/portugal-museums/porto-museumilitar