JavaScript日期对象转换为24小时制

Question

我正在尝试使用JavaScript的Date对象以24小时格式输出时间。到目前为止，我有：

var options = {
  timeZone: 'America/New_York',
  hour12: false
};

var dateAndTime = new Date().toLocaleString('en-US', options);

console.log(dateAndTime);

输出类似于：

7/19/2019, 04:41:05

由于我将hour12设置为：false，所以为什么时间仍以12小时格式显示？我希望得到的是16:41:05。