Virginia Key. Executive order [withdrawing from settlement, etc., lands in Virginia Key abandoned military reservation, Fla., and reserving same for naval purposes].