What happened in the battle of Fort Randolph?