Maybe the first publicly known if this happens but there is a chance that this might not be the first one. Government funds especially the ones in LGUs have cash reserves that are meant for investment and most of them invest on anything they want depending on their risk factor and as long as it is legal so I won't be surprised if their analysts and fund managers have bought cryptocurrencies as a chance for growing their fund. Also for me the mayor is already late in the action and I just hope their fund manager knows that, buying in now will just give them a little space between the ATH.