the indonesian national police has deployed half of its 12,000-person-strong marine unit in the java sea and called in troops from around the country to search jakarta and the islands surrounding it .