20180717 city.goa: Panaji-Betim ferry bumps ramp; damaged