When any state, county, municipal, or other public property of this state is destroyed or partially destroyed, by fire or otherwise, upon which there is insurance, the proceeds of such insurance, when collected, may be used by the officer having the supervision of the property destroyed, for the purpose of construction to replace such property or for the repair thereof.