Claimed by Spain in 1606, notionally Dutch in 1660, halved between the Dutch and Great Britain in 1824 (who divided their part with Germany in 1884), the Dutch half taken by Indonesia in 1962, following which that half has been in almost continuous upheaval, what name did Indonesia give their part in 1973?