Converse KAM theory for monotone positive symplectomorphisms