Windows Server 2016 build 14257

There are several Windows Server 2016 builds with the build number 14257: