Con qué nombre se conoce actualmente a Formosa.