Funeral held for Ivana Trump; ex-president pays tribute