/bin/ping4 is in iputils-ping 3:20161105-1ubuntu2.
This file is owned by root:root, with mode 0o777.
It is a symlink to /bin/ping
/bin/ping