Jak se jmenoval druhý československý prezident?