This plugin adds the Portuguese "States", known as "Distritos", to WooCommerce and sets the correct address format for Portugal.
