Quality Seafood and King Harbor Brewing Company both have addresses on International Boardwalk (or South International Boardwalk). Is this the name of the cycleway or footway running roughly north/south next to them? If not, what highway should have this name that currently does not?