Question: what municipality is part of this park?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Pedra_Azul_State_Park