S. Korea president says will lift martial law