7-year-old does 4,000 push-ups, sets record