What did the country of Taiwan used to be called?

The official name of the country is The Republic of China, but it has been previously called "formosa" when sighted by Portugese ships (comes from "Ilha Formosa", meaning "beautiful island" in Portuguese).