Fishery management of precious and stony corals in Hawaii.