Plan showing portion of Pittsburgh Coal Co.'s coal to be mined out at Rock Run Mine