The Collaborative International Dictionary of English v.0.48:

Mira \Mi"ra\, n. [NL., from L. mirus wonderful.] (Astron.)
   A remarkable variable star in the constellation Cetus
   ([omicron] Ceti).
   [1913 Webster]