The Best Mayor, The King — play by Lope de Vega