Brazilwood
There are several trees in this family which have very similar properties, including the development of red dye. The term "brazilwood" is sometimes used for these other species as well. The tree was exploited for their dye in the 18th century, and is now lost over much of its original range.