the port in the district is puerto de johor