Information responsive to resolution relative to navy yard at Pensacola, Fla.