Title: A short history of Bali