別名・舞鶴城、大野城とも。