When did Costa Rica take up arms against Nicaragua?
a.
1856
b.
1900
c.
1850