I would like to know when the property of "having a section" for a morphism of varieties in characteristic $0$ can be detected by spreading out to characteristic $p$.

Take a number field $K$, and let $R$ be the ring of integers in $K$. Let $X$ and $Y$ be projective flat $R$-schemes, and fix an $R$-map $f:X \to Y$. Assume that $f \otimes_R R/m$ has a section for all maximal ideals $m \subset R$. Does $f \otimes_R \overline{K}$ have a section for some algebraic closure $\overline{K}$ of $K$?

Note that taking the algebraic closure of $K$ is necessary (by the consideration of Brauer classes).

I suspect the answer is 'no' but cannot find a counterexample.