Hegseth helps set world record at Navy football game for most people doing pushups at the same time