正式名称は「2017 formula 1 united states grand prix」。