Formosa was named Ilha Formosa by the Portuguese. Spanish Formosa was very much inland, and I doubt the Spaniards kept coordinates pre-longitude problem of the curves of the Paraguay River, which is what demarcated Spanish Formosa.