  We prove the sharpness of the percolation phase transition for a class of Cox
percolation models, i.e., models of continuum percolation in a random
environment. The key requirements are that the environment has a finite range
of dependence and satisfies a local boundedness condition, however the FKG
inequality need not hold. The proof combines the OSSS inequality with a
coarse-graining construction.
