Man who killed his girlfriend’s baby and threw the body in a pond is executed in Florida