Badung — regency in Bali Province, Indonesia