electronic chart display and information system{=ECDIS}