It is a Thinkpad P16v Gen 1 (system model 21FC003US). I connected a Dell 4k monitor to the docking station but can only get resolution to 2048 x 1152, even though the docking station says it supports up to 8k@30hz.
The other two monitors run at 2560 x 1440 and 1920 x 1080