Santo António, ibu kota Pulau Principe