Please answer this question: when did the executive mansion become known as the white house?
1901