Ivanka's codename was Marvel

https://qz.com/1560374/the-trump-familys-secret-service-code-names/

https://www.usaspending.gov/award/76804699