premise: Steve has only visited South Korea, Bahrain, Morocco, Macedonia, Colombia, Eritrea, Sierra Leone, Mali, Nigeria, Fiji, North Korea, Libya, Luxembourg, Uzbekistan, Guinea-Bissau, Iran, Belgium, Lesotho, Portugal and Cabo
hypothesis: Steve didn't visit Bahrain