South Korea deploys military, public doctors to strike-hit hospitals