Text: In 1917, the United States purchased St. John, St. Thomas, and St. Croix from Denmark for US$25 million, renaming them the United States Virgin Islands.

Question: is st thomas part of the british virgin islands?

pick from the following.
+ no
+ yes
no