The gloomy record of San Marino in international football