NBC: 17-year-old pilot sets record for solo flight around world