Six Flags opens record-breaking roller coaster in Arlington (signal 80)