A meteorologist records the daily high temperatures for 3 days as 15°C, 20°C, and 19°C. What is the average high temperature?