Ocean Pines is in Benahavís. Tap the map or the "Get directions" button to see the exact location and the route from your position.
On this listing you can see "Other hotels nearby" right below, sorted by proximity. You can also open the full hotels in Benahavís page for the complete map ranked by distance from your location.