Михаил Мишустин поздравил российских кораблестроителей с профессиональным праздником