Which source port does IKE use when NAT has been detected between two VPN gateways?

Which source port does IKE use when NAT has been detected between two VPN gateways?
A. TCP 4500
B. TCP 500
C. UDP 4500
D. UDP 500