Ese fue el nombre oficial hasta que Papúa fue adoptado en el 2002.