What are the names of the ships that are not from the United States?
select name from ship where nationality != "United States"