Rename OpenLayers example

docs/examples/examples.json

@@ -42,11 +42,11 @@
                     "file": "navy_leaflet.html"
                 },
                 {
-                    "title": "Navy",
-                    "desc": "",
+                    "title": "Navy Ships OpenLayers",
+                    "desc": "Navy Ships over OpenLayers",
                     "file": "navy_ol.html"
                 }
             ]
         }
     ]
-}
+}