Which of the following commands kills the process with the PID 123 but allows the process to "clean up" before exiting?