Observation of top quark production in proton-nucleus collisions