Big data navigation maps that are safe for shipping (collaboration with Danish Geodata Agency)