Waul's Texas Legion in the Battle of Vicksburg