navy or coral?

I've decided our front door is in need of a splash of color, and now that warmer weather is here it's painting' time! What do you guys think? 

via

via 

As a reminder, here's the front of our house when we moved in. 

I obviously love navy, but think the coral is really fun and plays nicely with the green trim. Yellow was another consideration, but I thought that'd be a little too John Deere (sorry, Iowa, I still love you though!). Eventually, when we have the house painted gray with white trim, I'd love to do a watery blue door. I am obsessed with how this one looks with the brass hardware and topiary. So so pretty. 

What's your vote? Or is there another color I've completely overlooked? I'd totally go hot pink, but not sure I could convince a certain someone that it wouldn't look like Barbie's house. HELP!!