Dutch intervention in Lombok and Karangasem, 1894.