Intuitively, you might want to call it Super Mario World but the correct name is Super Nintendo World.