Nordkoreanische Fußballnationalmannschaft (Begriffsklärung)