Fort Marion National Monument. Changing designation of Fort Marion National Monument in Florida [to Castillo de San Marcos National Monument], report to accompany H. R. 3937; submitted by Mr. Hatch.