البحرية السعودية تدشّن سفينة «جلالة الملك الدرعية»