Its name is Portuguese for `` Saint Thomas . ''
Its name is Portuguese for `` Saint Thomas '' .