a weightlifter is lifting weights at an olympic event