Katedral Keuskupan, Katedral Bunda Maria di São Tomé