Windows Laptop for local Docker and Kubernetes development

Hi
I need to get a new laptop for a job starting next week, and prefer to use Windows, but need to do local Docker and Kubernetes development.
I have a budget of approximately £1000/$1200, although could go a bit higher.
Any recommendations would be very much appreciated.
Have looked at the following (all Win 10 Pro 64-bit) but very open to suggestions of others :-
Lenovo ThinkPad P52s - 15.6" - Core i7 8550U/ 1.8 GHz - 16 GB RAM - 512 GB SSD -
Dell Latitude 5590 - 15.6" - Core i5 8250U/ 1.6 GHz- 16 GB RAM - 256 GB SSD
Dell Precision Mobile Workstation 3530 - 15.6" - Core i5 8400H/ 2.5 GHz- 16 GB RAM - 256 GB SSD
HP ProBook 450 G6 - 15.6" - Core i7 8565U/ 1.8 GHz - 16 GB RAM - 512 GB SSD - QWERTY UK
Thanks very much
Paul