What is puerto libre Postal Code?

Postal Code of puerto libre is 25230