What naval officer took part in the battle, on what is now the grounds of the Blue Grass Army Depot?