Dok milik Royal Dutch Petroleum di Hindia Belanda (sekarang Indonesia )