the battle of gettysburg, which took place between july 1 and july 3, 1863, is…