Malacca, tidligere navn på Melaka.