Stacy and Travis are rock climbing. Stacy's rope is 4 feet shorter than 3 times Travis' rope. Her rope is 23 ft long. How long is Travis rope?