我需要一个特定日期的不同ID列表。我正在尝试将“聚合”与“过滤”结合使用。试过几种方法，但都不管用。正确的格式是什么？

{
    "size": "1000",
    "_source": ["Id"],
    "query": {
      "range": {
        "@timestamp": {
          "gte": "2020-10-20T00:00:00",
          "lt": "2020-10-21T00:00:00"
        }
      }
    },
     "aggs": {
      "ids": {
        "terms": { "field": "Id.keyword" }
      }
    }
  }

我试过的另一种方法是：

{
    "size": "1000",
    "_source": ["Id"],
     "aggs": {
      "ids": {
        "filter": {
          "range": {
            "@timestamp": {
              "gte": "2020-10-20T00:00:00",
              "lt": "2020-10-21T00:00:00"
            }
          }
        },
        "terms": { "field": "Id.keyword" }
      }
    }
  }

这里是@timestampMap：

"@timestamp": {
   "type": "date",
   "format": "dateOptionalTime"
 }