کره شمالی در المپیک تابستانی ۱۹۷۲