The depth of the Philippine deep