As Forbes found out, the oil magnate owns a Dutch manufacturer of high-speed ocean yachts…