7-25-23 wisconsin officials seek legislators’ permission to drop lawsuit challenging border wall funding