红石山

在今河北赤城县西南。《明一统志》卷5万全都司：红石山“在龙门卫城东五里。上产红石，可供玩好”。因名。