《国际歌》是一首外国歌曲。