Wow. Fares really are crazy. Even from DC it is almost $2K that time of year. But as noted, you are going at the most popular time of the year. And I am guessing that there are probably fewer flight options out of ANC. My guess is that prices aren't likely to go down by much if at all. You can play with dates and see if different days of the week make a difference. You might also want to see if it is cheaper to get to BKK or elsewhere in the region and tack on a low cost carrier flight to HKT to get you to your final destination.