Turkey's external debt rises slightly to $402 billion