Which infantry division was involved in the Battle of Osan