recordNavigation

Called by engines after a navigation completes, to bump the local navigation counter.