North Korea launches a short-range ballistic missile toward sea, South Korea says