3-coloring triangle-free planar graphs with a precolored 9-cycle. (February 2018)