O zakletém králi a odvážném Martinovi