Original: Its name is Portuguese for "Saint Thomas".
Simplified: Its name is Portuguese for "Saint Thomas."