Question 130: Red belt punch tradition

I am looking for the origin of punching a TKD student when they receive their red belt.