The ratio of cups of orange juice concentrate to water in a punch recipe is 2 : 5. If Geoffrey used 20 cups of water, how many cups of orange juice concentrate did he use?