John is 5 years older than Randy. Oscar is twice as old as Randy. How old are each of the three boys is the sum of their ages is 85?​