With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: At a coal mine in Henan province , officials said divers would search flooded mine shafts for 42 workers missing since Friday when a nearby river overflowed .
text_B: Henan is a location
entailed.