Is this true?
Every PID is Euclidean
No — it is false.
From Rings and Fields › Euclidean, PID, UFD hierarchy