Swenson proved in "A cut point theorem for ${\rm CAT}(0)$ groups" that a locally compact Hadamard space with a geometric action by a group $G$ admits a hyperbolic isometry (that lie in $G$). Is it still true if we only assume the action to be cocompact? I tried to modify his proof but I didn't succeed...
Thanks