May revenues decline, still better for Atlantic City