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