THE DOE RUN RESOURCES CORPORATION