20200720 city.mangaluru: Port modifies SOP to prevent Covid clusters