The USS Midway at San Diego has a couple of Tektronix products on board ship.

This 5441 Mainframe with a 7B40 timebase (right side of photo) was spotted by Yinghang Zhou, a business development manager at Tek China.

This 4205 terminal (left side of photo) was spotted by Dave Brown, V.P. of Central Engineering.