Rotunda of Saint Martin, Vyšehrad